Frequency tree for predictive list prolog entry
- converts list prolog programs to have predicates for reused code, nested logic or code in main
- list decomposition without [[_,_,etc]|_] in head of predicate
- converts variables into single letter format
- make brackets separate symbols e.g. '['

Suggesting a symbol
- group brackets with next variable